Works by Fernandes, António Marques (exact spelling)

( view other items matching `Fernandes, António Marques`, view all matches )
Order:
  1.  26
    A new conservation result of WKL 0 over RCA 0.António Marques Fernandes - 2002 - Archive for Mathematical Logic 41 (1):55-63.
    In this paper we give a partial answer to a conjecture of Tanaka. We prove that: if WKL0 proves a sentence of the form (∀X)(∃!Y)ψ(X, Y) for a Σ03-formula ψ, then so does RCA0.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations